Age at first prosthetic fitting and later functional outcome in children and young adults with unilateral congenital below-elbow deficiency:A cross-sectional study

The objective of this study was to evaluate whether prosthetic fitting before the age of one year is associated with better outcomes in children with unilateral congenital below-elbow deficiency compared to children fitted after the age of one. Twenty subjects aged 6-21 years were recruited (five prosthetic users and 15 non-users). The Child Amputee Prosthetics Project-Prosthesis Satisfactory Inventory (CAPP-PSI) and the Prosthetic Upper Extremity Functional Index (PUFI) were used to assess patient satisfaction and functional use of the prosthesis. Videotapes were used to assess motor performance. Initial prosthetic fitting before one year of age was related to use of a prosthesis for at least four years. Age at first fitting was not associated with satisfaction with the prosthesis, functional use of the prosthesis or motor skills. Discrepancies between ease of performance with prosthesis and usefulness of the prosthesis as well as between capacity and performance of activities were found. The video assessments showed impaired movement adaptation to some tasks in six subjects. In conclusion, early prosthetic fitting seems to have a limited impact on prosthesis use during later stages of life

Verifying Class Invariants in Concurrent Programs

Class invariants are a highly useful feature for the verification of object-oriented programs, because they can be used to capture all valid object states. In a sequential program setting, the validity of class invariants is typically described in terms of a visible state semantics, i.e., invariants only have to hold whenever a method begins or ends execution, and they may be broken inside a method body. However, in a concurrent setting, this restriction is no longer usable, because due to thread interleavings, any program state is potentially a visible state. In this paper we present a new approach for reasoning about class invariants in multithreaded programs. We allow a thread to explicitly break an invariant at specific program locations, while ensuring that no other thread can observe the broken invariant. We develop our technique in a permission-based separation logic environment. However, we deviate from separation logic's standard rules and allow a class invariant to express properties over shared memory locations (the invariant footprint), independently of the permissions on these locations. In this way, a thread may break or reestablish an invariant without holding permissions to all locations in its footprint. To enable modular verification, we adopt the restrictions of Muller's ownership-based type system

Solving discrete logarithms on a 170-bit MNT curve by pairing reduction

Pairing based cryptography is in a dangerous position following the breakthroughs on discrete logarithms computations in finite fields of small characteristic. Remaining instances are built over finite fields of large characteristic and their security relies on the fact that the embedding field of the underlying curve is relatively large. How large is debatable. The aim of our work is to sustain the claim that the combination of degree 3 embedding and too small finite fields obviously does not provide enough security. As a computational example, we solve the DLP on a 170-bit MNT curve, by exploiting the pairing embedding to a 508-bit, degree-3 extension of the base field.Comment: to appear in the Lecture Notes in Computer Science (LNCS

A world wide number field sieve factoring record: on to 512 bits

We present data concerning the factorization of the 130-digit number RSA130 which we factored on April 10, 1996, using the number field sieve factoring method. This factorization beats the 129-digit record that was set on April 2, 1994, by the quadratic sieve method. The amount of computer time spent on our new record factorization is only a fraction of what was spent on the previous record. We also discuss a World Wide Web interface to our sieving program that we have developed to facilitate contributing to the sieving stage of future large scale factoring efforts. These developments have a serious impact on the security of RSA public key cryptosystems with small moduli. We present a conservative extrapolation to estimate the difficulty of factoring 512-bit number

Identifying differential exon splicing using linear models and correlation coefficients

Background: With the availability of the Affymetrix exon arrays a number of tools have been developed to enable the analysis. These however can be expensive or have several pre-installation requirements. This led us to develop an analysis workflow for analysing differential splicing using freely available software packages that are already being widely used for gene expression analysis. The workflow uses the packages in the standard installation of R and Bioconductor (BiocLite) to identify differential splicing. We use the splice index method with the LIMMA framework. The main drawback with this approach is that it relies on accurate estimates of gene expression from the probe-level data. Methods such as RMA and PLIER may misestimate when a large proportion of exons are spliced. We therefore present the novel concept of a gene correlation coefficient calculated using only the probeset expression pattern within a gene. We show that genes with lower correlation coefficients are likely to be differentially spliced.Results: The LIMMA approach was used to identify several tissue-specific transcripts and splicing events that are supported by previous experimental studies. Filtering the data is necessary, particularly removing exons and genes that are not expressed in all samples and cross-hybridising probesets, in order to reduce the false positive rate. The LIMMA approach ranked genes containing single or few differentially spliced exons much higher than genes containing several differentially spliced exons. On the other hand we found the gene correlation coefficient approach better for identifying genes with a large number of differentially spliced exons.Conclusion: We show that LIMMA can be used to identify differential exon splicing from Affymetrix exon array data. Though further work would be necessary to develop the use of correlation coefficients into a complete analysis approach, the preliminary results demonstrate their usefulness for identifying differentially spliced genes. The two approaches work complementary as they can potentially identify different subsets of genes (single/few spliced exons vs. large transcript structure differences)

History Shaped the Geographic Distribution of Genomic Admixture on the Island of Puerto Rico

Contemporary genetic variation among Latin Americans human groups reflects population migrations shaped by complex historical, social and economic factors. Consequently, admixture patterns may vary by geographic regions ranging from countries to neighborhoods. We examined the geographic variation of admixture across the island of Puerto Rico and the degree to which it could be explained by historic and social events. We analyzed a census-based sample of 642 Puerto Rican individuals that were genotyped for 93 ancestry informative markers (AIMs) to estimate African, European and Native American ancestry. Socioeconomic status (SES) data and geographic location were obtained for each individual. There was significant geographic variation of ancestry across the island. In particular, African ancestry demonstrated a decreasing East to West gradient that was partially explained by historical factors linked to the colonial sugar plantation system. SES also demonstrated a parallel decreasing cline from East to West. However, at a local level, SES and African ancestry were negatively correlated. European ancestry was strongly negatively correlated with African ancestry and therefore showed patterns complementary to African ancestry. By contrast, Native American ancestry showed little variation across the island and across individuals and appears to have played little social role historically. The observed geographic distributions of SES and genetic variation relate to historical social events and mating patterns, and have substantial implications for the design of studies in the recently admixed Puerto Rican population. More generally, our results demonstrate the importance of incorporating social and geographic data with genetics when studying contemporary admixed populations

Disruption of AP1S1, Causing a Novel Neurocutaneous Syndrome, Perturbs Development of the Skin and Spinal Cord

Adaptor protein (AP) complexes regulate clathrin-coated vesicle assembly, protein cargo sorting, and vesicular trafficking between organelles in eukaryotic cells. Because disruption of the various subunits of the AP complexes is embryonic lethal in the majority of cases, characterization of their function in vivo is still lacking. Here, we describe the first mutation in the human AP1S1 gene, encoding the small subunit σ1A of the AP-1 complex. This founder splice mutation, which leads to a premature stop codon, was found in four families with a unique syndrome characterized by mental retardation, enteropathy, deafness, peripheral neuropathy, ichthyosis, and keratodermia (MEDNIK). To validate the pathogenic effect of the mutation, we knocked down Ap1s1 expression in zebrafish using selective antisens morpholino oligonucleotides (AMO). The knockdown phenotype consisted of perturbation in skin formation, reduced pigmentation, and severe motility deficits due to impaired neural network development. Both neural and skin defects were rescued by co-injection of AMO with wild-type (WT) human AP1S1 mRNA, but not by co-injecting the truncated form of AP1S1, consistent with a loss-of-function effect of this mutation. Together, these results confirm AP1S1 as the gene responsible for MEDNIK syndrome and demonstrate a critical role of AP1S1 in development of the skin and spinal cord

BLOC-1 and BLOC-3 regulate VAMP7 cycling to and from melanosomes via distinct tubular transport carriers.

Endomembrane organelle maturation requires cargo delivery via fusion with membrane transport intermediates and recycling of fusion factors to their sites of origin. Melanosomes and other lysosome-related organelles obtain cargoes from early endosomes, but the fusion machinery involved and its recycling pathway are unknown. Here, we show that the v-SNARE VAMP7 mediates fusion of melanosomes with tubular transport carriers that also carry the cargo protein TYRP1 and that require BLOC-1 for their formation. Using live-cell imaging, we identify a pathway for VAMP7 recycling from melanosomes that employs distinct tubular carriers. The recycling carriers also harbor the VAMP7-binding scaffold protein VARP and the tissue-restricted Rab GTPase RAB38. Recycling carrier formation is dependent on the RAB38 exchange factor BLOC-3. Our data suggest that VAMP7 mediates fusion of BLOC-1-dependent transport carriers with melanosomes, illuminate SNARE recycling from melanosomes as a critical BLOC-3-dependent step, and likely explain the distinct hypopigmentation phenotypes associated with BLOC-1 and BLOC-3 deficiency in Hermansky-Pudlak syndrome variants.This work was supported by grants from the National Institutes of Health, National Eye Institute (R01 EY015625, to M.S. Marks and G.  Raposo), National Institute of Arthritis and Musculoskeletal and Skin Diseases (R01 AR048155, to M.S. Marks, and F32 AR062476, to M.K. Dennis), National Institute of General Medical Sciences (R01 GM108807, to M.S. Marks); Fondation pour la Recherche Médicale (to T.  Galli); the UK Medical Research Council (G0900113, to J.P. Luzio); and the Wellcome Trust (108429, to E.V. Sviderskaya and D.C. Bennett). This work was also supported by a Canadian Institutes of Health Research Fellowship (to G.G.  Hesketh) and a Fondation pour la Recherche Médicale grant from Centre National de la Recherche Scientifique, Institut National de la Santé et de la Recherche Médicale, Institut Curie, and Fondation pour la Recherche Médicale (DEQ20140329491 Team label, to G. Raposo).This is the final version of the article. It first appeared from Rockefeller University Press via http://dx.doi.org/10.1083/jcb.20160509